-
1 lambda notation
-
2 lambda notation
Большой англо-русский и русско-английский словарь > lambda notation
-
3 lambda notation
1) Логика: обозначение с выражением лямбда2) Вычислительная техника: - обозначение -
4 lambda notation
лог. лямбда-нотация, лямбда-обозначениеEnglish-Russian dictionary of computer science and programming > lambda notation
-
5 notation
2) запись; представление; система обозначений; нотация•- binary notation
- binary-coded decimal notation
- biquinary notation
- coded-decimal notation
- contracted notation
- data space notation
- decimal notation
- dot notation
- dotted decimal notation
- duodecimal notation
- duotricenary notation
- exponential notation
- fixed-point notation
- fixed-radix notation
- floating-point notation
- hexadecimal notation
- infix notation
- jack notation
- lambda notation
- left-handed Polish notation
- list notation
- logarithmic notation
- Lukasiewicz's notation
- mathematical notation
- mixed-base notation
- mixed-radix notation
- number system notation
- number notation
- numerical notation
- octal notation
- operator notation
- parenthesis-free notation
- Polish notation
- polivalent notation
- positional notation
- postfix notation
- prefix notation
- quaternary notation
- quinary notation
- radix notation
- reverse Polish notation
- right-handed Polish notation
- scientific notation
- sexadecimal notation
- signal notation
- suffix notation
- symbolic notation
- syntax notation
- ternary notation
- tetrade notation
- Warsaw notationEnglish-Russian dictionary of computer science and programming > notation
-
6 notation
number notation — система счисления; численное представление
list notation — списочное обозначение; списочная запись
The English-Russian dictionary general scientific > notation
-
7 lambda
-
8 lambda
1. n ламбда, лямбда2. n анат. место соединения ламбдовидного и стреловидного швов черепа3. n биол. ламбда-фаг4. n физ. ламбда-гиперон -
9 lambda
-
10 contracted notation
-
11 dot notation
list notation — списочное обозначение; списочная запись
-
12 mathematical notation
математическое обозначение; система математических обозначений -
13 scale of notation
number notation — система счисления; численное представление
list notation — списочное обозначение; списочная запись
-
14 shorthand notation
-
15 abridged notation
English-Russian big polytechnic dictionary > abridged notation
-
16 contracted notation
English-Russian big polytechnic dictionary > contracted notation
-
17 abridged notation
The English-Russian dictionary general scientific > abridged notation
-
18 contracted notation
The English-Russian dictionary general scientific > contracted notation
-
19 лямбда-нотация
Большой англо-русский и русско-английский словарь > лямбда-нотация
-
20 лямбда-обозначение
Большой англо-русский и русско-английский словарь > лямбда-обозначение
- 1
- 2
См. также в других словарях:
Lambda-Notation — Der Lambda Kalkül ist eine formale Sprache zur Untersuchung von Funktionen, die Funktionsdefinitionen, das Definieren formaler, sowie das Auswerten und Einsetzen aktueller Parameter regelt. Inhaltsverzeichnis 1 Geschichte 2 Der untypisierte… … Deutsch Wikipedia
lambda notation — A term such as ‘Sine 60°’, or ‘the father of Hegel’ refers to a number or a person. But it includes the term ‘Sine…’ or ‘father of…’. ‘Sine x ’ or ‘father of y ’ stand for a function referring respectively to a number or a person for particular… … Philosophy dictionary
lambda — notation … Philosophy dictionary
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
Notation Bra-Ket — Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique Histoire de la … Wikipédia en Français
Notation bra ket — Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique Histoire de la … Wikipédia en Français
Notation de Dirac — Notation bra ket Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique Histoire de la … Wikipédia en Français
Notation de dirac — Notation bra ket Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique Histoire de la … Wikipédia en Français
Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Lambda calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Notation bra-ket — La notation bra ket a été introduite par Paul Dirac pour faciliter l’écriture des équations de la mécanique quantique, mais aussi pour souligner l’aspect vectoriel de l’objet représentant un état quantique (voir Axiomes de la mécanique quantique) … Wikipédia en Français